Der Nachweis von Glukuronsäure oder Glykuronsäure nach B. Tollens im menschlichen Urine.

Formaler Nachweis der Fehlertoleranz von Schaltkreisen

While facing continuously shrinking feature sizes, the demand for fault tolerance in digital circuits increases. Numerous approaches to achieve such robustness on the design side have been presented. But ensuring that the fault tolerance is really achieved is a tough verification problem. Here, we propose a formal model and an effective algorithm to formally prove the robustness of a digital ci...

Astree: Nachweis der Abwesenheit von Laufzeit

Interpretation Based Static Analyzers. In

RFID - Maßgeschneidert oder von der Stange?

Aufgrund vieler technischer Parameter kann nicht von einer einzigen RFID-Technologie gesprochen werden. Die Wahl der Betriebsfrequenzen wirkt sich stark auf die Eigenschaften eines RFID-Systems aus. Moderne UHF-Systeme bieten den besten Kompromiss und haben sich in vielen Branchen durchgesetzt. Die Einigung auf Transponder nach dem EPC Gen 2-Standard hat zu leistungsfähigen und gleichzeitig kos...

Die Orientierung der Nervenfasern im menschlichen Gehirn sichtbar gemacht

Zusammenfassung. Die Architektur der Nervenfasern im menschlichen Gehirn rückt zunehmend in das Interesse der Forschung, insbesondere durch die En twicklung der diffusionsgewichteten Kernspintomographie, die es erlaubt, Au ssagen über die dreidimensionale Orientierung großer Nervenfaserbündel zu machen. Es werden hier zwei neue neuroanatomische Verfahren vorgestellt, die ähnliche Informationen ...

Von der Industrie lernen - Steuerung der IT nach industriellen Maßstäben